ANSI ISO C Specification Language - PDFSEARCH.IO - Document Search Engine

ANSI ISO C Specification Language
Results: 21

#	Item
11	ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9 Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Dangling pointer Software engineering Computing Programming language theory
12	ACSL: ANSI/ISO C Specification Language Version 1.9 ACSL: ANSI/ISO C Specification Language Version 1.9 Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C ANSI/ISO C Specification Language Pascal Dangling pointer Software engineering Computing Programming language theory
13	ACSL: ANSI/ISO C Specification Language Version 1.6 ACSL: ANSI/ISO C Specication Language Version 1.6 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:02 Data types C programming language Primitive types C++ Pointer C ANSI/ISO C Specification Language Pascal Logic programming Software engineering Computing Computer programming
14	ACSL Mini-Tutorial Virgile Prevosto1 1 CEA LIST, Software Security Laboratory, Saclay, F-91191 Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:01 C programming language C++ ANSI/ISO C Specification Language Data types Procedural programming languages Pointer ALGOL 68 C++ classes Reference Software engineering Computer programming Computing
15	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
16	E-ACSL User Manual E-ACSL Plug-in Release[removed]compatible with Frama-C Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-09-15 10:05:34 Computer programming Static program analysis Plug-in ANSI/ISO C Specification Language Software Computing Frama-C
17	ACSL Version 1.9 Implementation in Sodium[removed] ACSL: ANSI/ISO C Specification Language Version 1.9 – Sodium[removed] Add to Reading List Source URL: frama-c.com Language: English - Date: 2015-03-17 11:33:40 Procedural programming languages Data types C programming language Primitive types Pointer C++ C ANSI/ISO C Specification Language Dangling pointer Software engineering Computing Computer programming
18	E-ACSL Executable ANSI/ISO C Specification Language Version 1.8 E-ACSL Add to Reading List Source URL: frama-c.com Language: English - Date: 2014-03-12 13:10:16 C programming language Procedural programming languages ANSI/ISO C Specification Language C++ C Pointer Predicate Software engineering Computing Logic
19	Specification and Proof of Programs with Frama-C SAC 2013 Tutorial Nikolai Kosmatov, Virgile Prevosto, Julien Signoles CEA LIST Add to Reading List Source URL: kosmatov.perso.sfr.fr Language: English - Date: 2013-03-25 09:07:11 Formal methods Frama-C ANSI/ISO C Specification Language Program logic Theoretical computer science Formal verification Hoare logic Mathematical proof Automated theorem proving Software engineering Software Computing
20	The OpenJML User Guide DRAFT IN PROGRESS David R. Cok GrammaTech, Inc. December 18, 2013 Add to Reading List Source URL: jmlspecs.sourceforge.net Language: English - Date: 2013-12-18 09:25:51 Java programming language Cross-platform software Java Modeling Language Java OpenJDK JAR Classpath ANSI/ISO C Specification Language Computing Java platform Software